From: Florian Müllner Date: Fri, 24 Jan 2020 18:00:37 +0000 (+0100) Subject: extensionPrefs: Add info popover to headerbar X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~781^2^2~49 X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=b47879d0a7871948a7dd290a5cd6c7c0b60f5d79;p=gnome-shell.git extensionPrefs: Add info popover to headerbar Extensions can have a major impact on stability and performance. Now that the tool will become the main way for users to manage their extensions, it is an appropriate place to warn the user of that risk. Add a small info popover to the headerbar to display that warning, together with the previously removed hint of where to go for finding new extensions. https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968 --- diff --git a/js/extensionPrefs/ui/extensions-window.ui b/js/extensionPrefs/ui/extensions-window.ui index 4ac68b9d2..a3068033c 100644 --- a/js/extensionPrefs/ui/extensions-window.ui +++ b/js/extensionPrefs/ui/extensions-window.ui @@ -2,6 +2,44 @@ + + + + True + vertical + 12 + 6 + + + True + To find and add extensions, visit <a href="https://extensions.gnome.org">extensions.gnome.org</a>. + True + 0 + + + + + True + Warning + 0 + 6 + + + + + + + + True + Extensions can cause system issues, including performance problems. If you encounter problems with your system, it is recommended to disable all extensions. + True + 40 + 0 + + + + +